Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
51	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
52	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
53	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
54	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
55	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
56	f-calculi and the theory of fexprs John N. Shutt WPI October 2007 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2007-10-17 10:31:46 Type theory Computability theory Lambda calculus Fexpr Calculus Typed lambda calculus Type constructor Theoretical computer science Mathematical logic Applied mathematics
57	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
58	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
59	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
60	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering